Reasoning About Knowledge: A Survey

نویسنده

  • Joseph Y. Halpern
چکیده

In this survey, I attempt to identify and describe some of the common threads that tie together work in reasoning about knowledge in such diverse elds as philosophy, economics, linguistics, artiicial intelligence, and theoretical computer science, with particular emphasis on work of the past ve years, particularly in computer science. It is a revised and updated version of a paper entitled \Reasoning about knowledge: a survey circa 1991", which appears in the

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

INTEGRATING CASE-BASED REASONING, KNOWLEDGE-BASED APPROACH AND TSP ALGORITHM FOR MINIMUM TOUR FINDING

Imagine you have traveled to an unfamiliar city. Before you start your daily tour around the city, you need to know a good route. In Network Theory (NT), this is the traveling salesman problem (TSP). A dynamic programming algorithm is often used for solving this problem. However, when the road network of the city is very complicated and dense, which is usually the case, it will take too long fo...

متن کامل

Ethnomethodology and Conversational Analysis

In a speech community, people utilize their communicative competence which they have acquired from their society as part of their distinctive sociolinguistic identity. They negotiate and share meanings, because they have commonsense knowledge about the world, and have universal practical reasoning. Their commonsense knowledge is embodied in their language. Thus, not only does social life depend...

متن کامل

Comprehension of factual, nonfactual, and counterfactual conditionals by Iranian EFL learners

A considerable amount of studies have been established on conditional reasoning supporting mental model theory of propositional reasoning. Mental model theory proposed by Johnson- larid and Byrne is an explanation of someone's thought process about how something occurs in the real world. Conditional reasoning as a kind of reasoning is the way to speak about possibilities or probabilities. The a...

متن کامل

Qualitative Reasoning about Physical Systems: an Artijicial Intelligence Perspective

Some interdisciplinury issues concerning artificial intelligence (AI) are explored in relation to modelling in physics and engineering. A short survey is given of‘ automated qualitative reasoning about physical systems, which in recent years has become an active research area in AI, and has been partly influenced by system dynamics. The conceptual aspects of‘ the A I approach to physical scienc...

متن کامل

A survey on information of physicians in health center in Shiraz about infectious diseases (Tuberculosis, brucella, typhoid fever, dysentery) (1999).

Background. Education of physician and preparing them for suitable diagnosis and treatment of diseases are the main target of medical education with regard to importance of adjustment of educational content with community needs and high prevalence of infectious disease. We decided to measure information of general practitioners of health centers in Shiraz about diagnosis, treatment and preventi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995